Skip to main content
share Share
favorite Favorite

18,157
RESULTS

Media Type
15,330
texts
1,216
movies
956
audio
511
software
69
concerts
31
images
More right-solid
Availability
17,519
Always Available
472
Available to Borrow
166
Waitlist
Year
292
2018
753
2017
1,760
2016
1,676
2015
1,689
2014
259
2013
More right-solid
Topics & Subjects
4,218
Logic
3,483
DTIC Archive
2,836
Computing Research Repository
2,769
Logic in Computer Science
2,490
Mathematics
2,297
logic
More right-solid
Collection
More right-solid
Creator
3,483
defense technical information center
817
eric
672
nasa technical reports server (ntrs)
488
logic (“loyal ontario group interested in computers”)
250
louis rossmann
207
massimo morigi
More right-solid
Language
11,242
English
250
German
108
Urdu
103
French
72
Latin
59
Italian
More right-solid
SHOW DETAILS
up-solid down-solid